3,394 research outputs found

    Dietrich von Hildebrand

    Get PDF
    It is sometimes alleged that the study of emotion and the study of value are currently pursued as relatively autonomous disciplines. As Kevin Mulligan notes, “the philosophy and psychology of emotions pays little attention to the philosophy of value and the latter pays only a little more attention to the former.” (2010b, 475). Arguably, the last decade has seen more of a rapprochement between these two domains than used to be the norm (cf. e.g. Roeser & Todd 2014). But there still seems to be considerable potential for exchange and dialogue if the situation is compared with their intimate relationship in central strands of early realist phenomenology. The philosopher perhaps most representative of this ecumenical approach is Husserl’s early student Dietrich von Hildebrand (1889-1977). From the very early stages of his philosophical career, Hildebrand has developed one of the most original, comprehensive and nuanced accounts of emotions at whose core is a detailed examination of their connection to value. While his central concern with the ethical significance of our affective life is in many ways continuous with Scheler’s work and draws crucially on Reinach’s philosophy of mind, Hildebrand’s own reflections considerably expand on and substantially modify the picture of the ontology and normative role of emotions defended by these authors. In this article, I reconstruct Hildebrand’s view of emotions with a particular focus on those aspects which represent his most distinctive contribution to this subject

    Automating Resolution is NP-Hard

    Get PDF
    We show that the problem of finding a Resolution refutation that is at most polynomially longer than a shortest one is NP-hard. In the parlance of proof complexity, Resolution is not automatizable unless P = NP. Indeed, we show it is NP-hard to distinguish between formulas that have Resolution refutations of polynomial length and those that do not have subexponential length refutations. This also implies that Resolution is not automatizable in subexponential time or quasi-polynomial time unless NP is included in SUBEXP or QP, respectively

    The parameterized space complexity of model-checking bounded variable first-order logic

    Get PDF
    The parameterized model-checking problem for a class of first-order sentences (queries) asks to decide whether a given sentence from the class holds true in a given relational structure (database); the parameter is the length of the sentence. We study the parameterized space complexity of the model-checking problem for queries with a bounded number of variables. For each bound on the quantifier alternation rank the problem becomes complete for the corresponding level of what we call the tree hierarchy, a hierarchy of parameterized complexity classes defined via space bounded alternating machines between parameterized logarithmic space and fixed-parameter tractable time. We observe that a parameterized logarithmic space model-checker for existential bounded variable queries would allow to improve Savitch's classical simulation of nondeterministic logarithmic space in deterministic space O(log2n)O(\log^2n). Further, we define a highly space efficient model-checker for queries with a bounded number of variables and bounded quantifier alternation rank. We study its optimality under the assumption that Savitch's Theorem is optimal

    An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction

    Full text link
    We prove an algebraic preservation theorem for positive Horn definability in aleph-zero categorical structures. In particular, we define and study a construction which we call the periodic power of a structure, and define a periomorphism of a structure to be a homomorphism from the periodic power of the structure to the structure itself. Our preservation theorem states that, over an aleph-zero categorical structure, a relation is positive Horn definable if and only if it is preserved by all periomorphisms of the structure. We give applications of this theorem, including a new proof of the known complexity classification of quantified constraint satisfaction on equality templates

    Simulation of beam induced lattice defects of diamond detectors using FLUKA

    Get PDF
    Diamond is more and more used as detector material for particle detection. One argument for diamond is its higher radiation hardness compared to silicon. Since various particles have different potential for radiation damage at different energies a scaling rule is necessary for the prediction of radiation damage. For silicon detectors the non-ionising energy loss (NIEL) is used for scaling the effects of different particles. A different way of predicting the radiation damage is based on the Norget-Robinson-Torrens theorem to predict the number of displacements per atom (DPA). This provides a better scaling rule since recombination effects are taken into account. This model is implemented in the FLUKA Monte Carlo simulations package for protons, neutrons and pions. We compare simulation results of NIEL and DPA for diamond and silicon material exposed to protons, neutrons and pions for a wide range of energies

    The situation of refugees with temporary suspension of deportation as a challenge for social work between the poles of professional self-conception and structural circumstances

    Get PDF
    Der aufenthaltsrechtliche Status der Duldung ist für die Betroffenen mit vielfältigen Auflagen und Einschränkungen verbunden. So zeigt sich ein in erster Linie restriktiver Umgang mit Geduldeten, der gerade aus einer menschenrechtlichen Perspektive in vielerlei Hinsicht problematisch erscheint. Betrachtet man in diesem Kontext normative und professionelle Selbstzuschreibungen der Sozialen Arbeit (etwa als Menschenrechtsprofession), zeigen sich grundlegende Spannungsfelder. So wirft die Situation geduldeter Flüchtlinge zentrale Fragen nach Selbstverständnis und Rolle der Sozialen Arbeit im modernen Wohlfahrtsstaat auf

    Theory of ultrafast electron transfer from localized quantum states at surfaces .

    Get PDF
    190 p.The ability of materials to transfer electrons is a basic property controlling the functionality and performance of devices at the nanoscale. Of particular importance is the tranfor of electros at surfaces as a fundamental process in catalytic and photocatalytic applications. This work aims along these lines at a theoretical description of resonant charge injection at surfaces using a combination of density functional theory and Green's functions. A close comparison with available data from core-hole-clock experiments is maintained throughout the work and confirms the validity and predictive power of our first-principles approach. This is demonstrated on the basis of three prototypical systems where we study fundamental aspects of charge transfer, providing additional, often complementary information to the interpretation of the experiments. First, we present a detailed study of the effects of structural fluctuations on elastic charge transfer for isonicotinic acid adsorbed on rutile (110) in relation to photovoltaic applications. Second we explore spin-dependent charge injection from core-excited argon resonances on Co(0001) and Fe(110), with possible implications for spintronics. Third, we examine the directionality of charge transfer from sulfur related resonances at surfaces of layered 1T-TaS2 in the commensurate charge density wave phase.DIPC CSIC CICnanoGune CFM Marie Curie Action
    corecore